increasing(f; k) == i:int_seg(0; (k - 1)). (f(i)) < (f(i + 1)) 

latex

Definitions	x:A. B(x), int_seg(i; j), n - m, a < b, f(a), n + m, #$n
FDL editor aliases	increasing